3

Pinwheel scheduling with two distinct numbers

Year:
1992
Language:
english
File:
PDF, 1.77 MB
english, 1992
4

On the decidability of equivalence for deterministic pushdown transducers

Year:
1981
Language:
english
File:
PDF, 637 KB
english, 1981
5

A note on Parikh maps, abstract languages, and decision problems

Year:
1985
Language:
english
File:
PDF, 627 KB
english, 1985
8

Completeness results for conflict-free vector replacement systems

Year:
1988
Language:
english
File:
PDF, 1.14 MB
english, 1988
9

Normal and sinkless petri nets

Year:
1993
Language:
english
File:
PDF, 1.65 MB
english, 1993
10

Simple programming languages and restricted classes of turing machines

Year:
1983
Language:
english
File:
PDF, 2.36 MB
english, 1983
12

A taxonomy of fairness and temporal logic problems for Petri nets

Year:
1991
Language:
english
File:
PDF, 3.40 MB
english, 1991
13

Global and local views of state fairness

Year:
1991
Language:
english
File:
PDF, 3.29 MB
english, 1991
14

Feasibility problems for recurring tasks on one processor

Year:
1993
Language:
english
File:
PDF, 1.30 MB
english, 1993
16

The instability of self-stabilization

Year:
1990
Language:
english
File:
PDF, 1.65 MB
english, 1990
17

A note on the complexity of program evaluation

Year:
1984
Language:
english
File:
PDF, 846 KB
english, 1984
18

On restricted one-counter machines

Year:
1981
Language:
english
File:
PDF, 273 KB
english, 1981
19

On the control power of integer division

Year:
1983
Language:
english
File:
PDF, 1.77 MB
english, 1983
26

A note on Presburger arithmetic with array segments, permutation and equality

Year:
1986
Language:
english
File:
PDF, 226 KB
english, 1986
28

The equivalence problem and correctness formulas for a simple class of programs

Year:
1985
Language:
english
File:
PDF, 1.04 MB
english, 1985
30

On simple programs with primitive conditional statements

Year:
1985
Language:
english
File:
PDF, 950 KB
english, 1985
31

Some characterizations of multihead finite automata

Year:
1985
Language:
english
File:
PDF, 531 KB
english, 1985
34

Priority Networks of Communicating Finite State Machines

Year:
1985
Language:
english
File:
PDF, 2.08 MB
english, 1985
36

Problems concerning fairness and temporal logic for conflict-free petri nets

Year:
1989
Language:
english
File:
PDF, 3.14 MB
english, 1989
37

Bounded self-stabilizing Petri nets

Year:
1995
Language:
english
File:
PDF, 1.06 MB
english, 1995